Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
551	A fractal SUSY-QM model and the Riemann hypothesis Carlos Castro1 , Jorge Mahecha2 1 Center for Theoretical Studies of Physical Systems, Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2003-07-02 15:37:28 Analytic number theory Conjectures Riemann hypothesis Riemann zeta function Zeta function regularization Prime number theorem Selberg zeta function Anatolii Alexeevitch Karatsuba Zeta function Mathematical analysis Mathematics Number theory
552	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
553	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
554	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
555	Model P4470 Save A Watt™ Operation Manual Thank you for purchasing the P4470 Save A Watt™. This operating manual will provide an overview of the product, safety instructions, a quick guide to operation, and complete Add to Reading List Source URL: www.p3international.com Language: English - Date: 2015-03-25 16:55:35 Function key Backup battery Smartphones Technology Electromagnetism Electrical engineering Horology Clock Liquid crystal display
556	Some quick notes on exponential random graphs Keith Briggs more.btexact.com/people/briggsk2/ CRG meeting 2005 Feb Add to Reading List Source URL: keithbriggs.info Language: English - Date: 2005-07-05 12:46:30 Exponentials Stochastic processes Graph theory Random graph Random walk Exponential function Logarithm Exponential random graph models Erdős–Rényi model Special functions Mathematics Mathematical analysis
557	Exponential random graphs Keith Briggs http://keithbriggs.info MoN4 QMUL 2005 Julcorrected version 2005 July 25 16:18 Add to Reading List Source URL: keithbriggs.info Language: English - Date: 2005-08-16 05:04:20 Networks Line graph Estimation theory Random graph Exponential function Markov random field Exponentiation Exponential random graph models Erdős–Rényi model Graph theory Mathematics Exponentials
558	JavaScript Programming In this hands-on JavaScript training course, students will learn the basics of JavaScript syntax from variables and arrays to conditionals and loops. They will also learn how to use built-in objec Add to Reading List Source URL: www.batky-howell.com Language: English - Date: 2012-08-01 16:08:51 HTML Scripting languages Cross-platform software JavaScript Ajax Document Object Model Dynamic HTML Anonymous function Prototype JavaScript Framework Computing Software engineering Computer programming
559	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
560	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic

UPDATE